机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
机译:正式增强了运行时验证,以确保NoC功能正确性
机译:自动生成正确性条件,以对合成的RTL设计进行形式验证。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:一个半正式方法,以验证复杂系统功能要求规格的正确性
机译:mETa II:设计过程中大规模网络物理系统正确性的正式联合验证(mod 0006)。第2卷。